This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

The Historical Dictionary of Philosophy, the _Historisches Wörterbuch der Philosophie,_ is distinguished by its particular presentation of philosophical terms, ideas and concepts. Rather than providing mere defintions or descriptive and analytical explanantions the _HWPh _strictly applies the critical method of history of concepts developed by the eminent German scholar and philosopher Joachim Ritter. By means of precise and detailed references it documents the origin, first occurrence, the historical evolution and the changes of meaning of each concept, from Ancient Greek (...) to contemporary philosophy. For the reader this presentation is of unique value: it makes traceable the importance of terms and concepts at certain periods or for a particular philosopher, as well as its changes and development of meaning. (shrink)

Philosophy, social problems, and global environmental change.

Buddhist ethics on environment protection.

Why did Levinas choose Isaiah 45:7 ("I make peace and create evil: I the Lord do all that") as a superscription of his essay on evil? This article explores the role of evil in Levinas's religious ethics. The author discusses the structure of evil as revealed phenomenologically and juxtaposes it to the structure of subjectivity found in the writings of Levinas. The idea of the "ethical anthropic principle," modeled upon the cosmic anthropic principle, is then used to link evil to (...) the responsibility of the subject. The link is subsequently extended to God. This is proposed as one way of understanding the meaning of Isaiah 45:7. (shrink)

The Tao Te Ching begins enigmatically with the following lines:The Tao that can be told of is not the eternal Tao; The name that can be named is not the eternal name.

Articles on Hindu religion, society, and philosophy.

Philosophy of Cārvāka, classical Indian materialist.

This case describes an adolescent in a crisis of a chronic medical condition whose situation is complicated by substance abuse and mental illness. D. Micah Hester provides an analytic approach, teasing apart the multiple layers of medical, developmental, and moral issues at hand and describing possible responses and outcomes. Amy T. Campbell examines existing legal guidelines for adolescent decision making, arguing that greater space exists for clinical discretion in these matters than commonly thought. Cheryl D. Lew discusses the development of (...) agency in adolescent patients, the ideal of autonomous decision making in the context of impairment and chronic illness, and the obligation of healthcare teams to examine an adolescent patient’s decisions in relation to her identity. (shrink)

Articles suggesting social irrelevance of Hindu philosophy and similarities between Buddhism and Marxism; Marxist viewpoints.

An analytical exposition of Hindu religion and philosophy.

ETHICS, RIGHTS, DEVELOPMENT AT DALFOVO PART ONE: THE GENERAL APPROACH BACKGROUND The collection of papers published in this book is part of an endeavour ...

Singer’s utilitarian and Regan’s deontological views must be rejected because: (1) they rely on criteria for moral standing that can only be known a priori and (2) if these criteria were successful, they’d be too restrictive. I hold that while mental properties may be sufficient for moral standing, they are not necessary. (3) Their criteria of moral standing do not unambiguously abrogate needless harm to animals. I defend a theory of biocentric individualism that upholds the principle of species egalitarianism while (...) at the same time recognizing that in certain cases, human needs must outweigh the needs of non-humans. On this view, moral consideration is not conferred only on beings that have human-like mental properties. Finally, it offers an unambiguous recommendation for the abolition of harmful animal experimentation, factory farming, and killing animals for sport. (shrink)

The philosophers' tendency to characterize euthanasia in terms of either the right or the responsibility to die is, in some ways, problematic. Stepping outside of the analytic framework, the author draws out the implications of the ethics of Emmanuel Levinas for the euthanasia debate, tracing the way Levinas's position differs not only from the philosophical consensus but also from the theological one. The article shows that, according to Levinas, there is no ethical case for suicide or assisted suicide. Death cannot (...) be assumed or chosen-not only because suicide is a logically and metaphysically contradictory concept but also because in the choice of death ethical responsibility turns into irresponsibility. However, since Levinas holds that one must be responsible to the point of expiation, he can be said to approve certain actions that may have the consequence of hastening death. (shrink)

A personal account is presented for the present status of mathematical chemistry, with emphasis on non-numerical applications. These use mainly graph-theoretical concepts. Most computational chemical applications involve quantum chemistry and are therefore largely reducible to physics, while discrete mathematical applications often do not. A survey is provided for opinions and definitions of mathematical chemistry, and then for journals, books and book series, as well as symposia of mathematical chemistry.

Objective: To assess the adequacy of the process of informed consent for surgical patients at the University Hospital of the West Indies. Method: The study is a prospective, cross-sectional, descriptive study. 210 patients at the University Hospital of the West Indies were interviewed using a standardised investigator-administered questionnaire, developed by the authors, after obtaining witnessed, informed consent for participation in the study. Data were analysed using SPSS V.12 for Windows. Results: Of the patients, 39.4% were male. Of the surgical procedures, (...) 68.6% were scheduled, 7.6% urgent and 23.8% emergency, 35.2% were minor and 64.8% major. Information imparted/received was acceptable in 40% of cases, good in 24% and inadequate (unacceptable) in 36% of cases. Almost all (97.6%) patients stated that they understood why an operation was planned and 93.3% thought that they had given informed consent. Most (95.2%) thought that they had free choice and made up their own mind. A quarter (25.2%) of all patients were told that it was mandatory for them to sign the form. There was a discussion of possible side effects and complications in 56.7% of patients. Conclusions: This study clearly indicates that surgical patients at the University Hospital of the West Indies feel that they have given informed consent. However, it also suggests that more information should be given to patients for consent to be truly informed. (shrink)